Merge branch 'shortcuts' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 17 Dec 2020 19:43:38 +0000 (19:43 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 17 Dec 2020 19:43:38 +0000 (19:43 +0000)
docs: Add separation between kinds of shortcuts in Keyboard input

See merge request GNOME/gtk!2964


Trivial merge